Composing Configurable Java Components

This paper presents techniques to reason about the composition of configurable components and to automatically derive consistent compositions. The reasoning is achieved by describing components in a formal component description language, that allows the description of component variability, dependencies and configuration actions. It also enables the automatic, configuration-driven, derivation of product instances. To illustrate the approach we instantiate the abstract component model for Java components (packages). 2000 Mathematics Subject Classification: 68N30, 68N01 1998 ACM Computing Classification System: D.2.13, D.2.9, D.2.7, D.2.12